This book constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held ...
Lee masThe Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...
Lee masThis book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lee masConstitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...
Lee masThis text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lee masThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee masThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lee masThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Lee masThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Lee masThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lee masThis tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
Lee masGenetic Programming Theory and Practice V was developed from the fifth workshop at the University of Michigan’s Center ...
Lee masThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
Lee masThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
Lee masThis is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...
Lee mas